🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🔤Type Theory
On systematic construction of correct logic programs
arxiv.org·11h
⚖️Hoare Logic
Guessing Game: Haskell Style
entropicthoughts.com·17h
👑Dependent Haskell
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·2h
🎯Gradual Typing
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·2d
🔒Type Safety
Teaching programming languages
kmjn.org·1d
💻Programming languages
Paradigms of Intelligence Team
github.com·1h·
Discuss: Hacker News
🔲Cellular Automata
Structural vs. Mathematical “Under” (2023)
dyalog.com·15h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·1h·
Discuss: Hacker News
⚔️Lean Tactics
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·1h
📐Geometric Hashing
Is Math Discovered or Invented?
curtispoe.org·8h
🔲Proof Irrelevance
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
Chatting with Unmesh about building language with LLMs
martinfowler.com·1h
💻Programming languages
CL-JSON Ambiguity
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🧠Lisp Dialects
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·1h
🦀Rust Macros
The Lobster Programming Language
strlen.com·19h·
Discuss: Hacker News
🔗Concatenative Programming
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·1h·
Discuss: DEV
🔒WASM Capabilities
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety